>>848
なんか 急にレベルダウンしたな ；ｐ）

>それはコンセプトだけど
>具体的には？って求められてるんだと思いますよ

基礎論の文脈で公理系を強制法や”宇宙”などで論じるとき
”コンセプト”という用語は、出てこないと思うよ
その”具体的”も また、意味不明

>>849
>>プログラムを走らす
>こことモデルとどう関係してるか教えて

書いてあることが
君は理解できないんだろ？

昔、アメリカの有名な規格を作る機関が
「質問は Yes or No で答えられるように書いてこい」
というのがあったのを 思い出した

まあ。低レベルの君には
それは無理な注文なのだろうね
「自分は こう思うが どうか？」って書けないに 100ペソ！ｗ　；ｐ）
うざいから 帰って寝てなよ

なお、蛇足だが
公理 vs プログラミング言語
モデル vs プログラムを走らす だ

また AI回答>>847 が
将棋に例えて説明している
将棋のルールが、公理であり
具体的な局面が、モデルだよと