>>367
>いつになったら制限されている論理式を書いてくれるの？

あのぉーｗ
　>>344の
数学を数学するお話 数理論理学 June 19, 2016
近藤友祐 神戸大学工学部電気電子工学科3 年

を全ページ読みなよ
書いてあるからさｗ

そもそも、公理とはなんぞや？
google AI による 答え
数学の公理とは、数学体系を構築する出発点となる、論証がなくても自明の真理として承認され、他の命題の前提となる根本命題です。
公理は数学体系の「土台」であり、定理はその上に築かれる「建物」のようなものです。公理を出発点とし、それをもとに定理や法則が成り立っています。
公理の集まりを「公理系」といい、それぞれの公理は互いに独立し、かつ矛盾のないことが必要です。
(引用終り)

ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86
公理
公理（こうり）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語版） (axiomatic system) という[1] 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。

公理にもとづいて証明される命題は定理という。

公理の直観的・歴史的な妥当性
公理系は記号で書かれた論理式の集まりなので、理屈の上では現実世界の観察に基づかない非現実的な公理系のもとに全く無意味な数学理論の体系を構築しても良いことになるが、多くの数学者は現実世界の観察に基づかない非現実的な公理系ではなく、現実世界の観察に基づく公理系を研究の対象にしている。

だがどういう公理系が「直観的歴史的妥当性がある」ものであるのかについては必ずしも数学者全員の合意が得られているとは限らない。例えば直観主義論理の立場では排中律は認められない。
(引用終り)

百回音読してねｗ （＾＾
要するに、公理的集合論で、集合を作るための規則が公理ですｗ
規則違反、ダメダメダメｗｗｗ