Jump to content

Goedels completeness theorem