>>577
公理的集合論だと⇒や⇔はメタ理論の関係。
A→Bなどは形式体系内の¬A∨Bの略記
>>578
おいこらてめぇ
それ誰にいっとんわれ
レスポンス番号行ってみろい、返り討ちだ
馬鹿野郎この野郎断簡この野郎