AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/12/05

See correct answer

Gödelizations often illuminate how formal statements can be encoded as numbers.

音声機能が動作しない場合はこちらをご確認ください

Source Sentence

Gödelizations often illuminate how formal statements can be encoded as numbers.

ゲーデル化は、形式的な命題が数として符号化されうることを示すことが多い。