0913132人目の素数さん垢版 | 大砲2019/03/05(火) 18:40:40.06ID:pAkRIR8D メタ理論によるとしか言いようがない ZFCや自然数論がメタ理論であればゲーデル数化のやり方に合わせて特定の位置の束縛変数を取れるし、 圏論でもnnoで自然数が作れるから恐らく可能 人間を信じてメタ理論とするなら直感で分かる メタ理論は基本的に表現できれば何でもいいので、メタ理論に埋め込まれる論理の形式的な定義はうやむやにされる