>>193
形式論理の必要十分条件はZFC公理系を満たすこと
論理式とか全くどうでも良い
バカすぎるから自​殺し​ろ