Szokásos elsőrendű logikát legkevesebb hány axiómával lehet felépíteni? Megnéztem két különböző Csirmaz-jegyzetet, az egyenlőség axiómáin kívül az egyikben 5axióma van és levezetési szabályoknál MP van, de GEN helyett valami más. A másik jegyzet felépítésében 12 axióma és MP+GEN.

Lehet azért van itt több, mert itt ténylegesen igazolja a Gödel teljességi tételt és így volt kényelmesebb.