Jump to content

Goedel's completeness theorem