Completeness

Log in or register to write something here or to contact authors.

Everything2 ™ is brought to you by Everything2 Media, LLC. All content copyright © original author unless stated otherwise.
Let sleeping demons lie.

Completeness Axiom	maximally consistent	Just So Stories	I'll be a post-feminist in the post-patriarchy
So, who is this Webster 1913 guy, anyway?	complete	Godel's completeness theorem	Transcendental Deduction
Semantic Tableaux proof method for predicate logic	An interesting application of binary search	If 0=1, then I am the Pope	Allness
popularity contest	first-order logic	nested interval property	Laguerre's method
Croque monsieur	true arithmetic	extranet	Godel number
R^n	The Everything Rant Contest	stem to stern	Gödel's incompleteness theorem