Frege–Church ontology - Frege–Church ontology — the latest coverage, the community and the facts.