Sekirov Dictionary

Gödel sentence

noun1

An arithmetic statement that can be metatheoretically shown to not be provable or refutable in a formal system.

forms

Gödel sentences

This dictionary works without the internet: on your phone · in Chrome