#logic

1 note

godel-incompleteness

Gödel's first incompleteness theorem (1931): any consistent formal system strong enough to express basic arithmetic contains statements that are true…

@dave · 20h ago