theorem that a wide class of logical systems cannot be both consistent and complete
Nothing in the MetaHistoryBook collection references this item yet.