>>473
>二階論理があれば、何の公理もなく無限集合が存在するとか
>歷丸出しなウソいってる？脳ミソないの？パクチー？

どうも
スレ主です（＾＾

おぬし分かって書いているじゃんｗ
「何の公理もなく」なんてボカシつつもｗ（＾＾；

　>>471の小野 寛晰氏（下記）の冒頭、Peano公理のA7で、一階述語論理と二階述語論理と
この二つについて説明している通りじゃんかｗ

二階述語論理を使えば、
自然数の集合Nが定義できると、説明されている通りですよ（＾＾；

（参考）
（>>471より）
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&;item_id=6883
数理論理学（2）
小野 寛晰