這個，公理係統就足夠了。事實上多數數學家不會對邏輯學特別感興趣，除非是專門研究這個的。

所謂形式邏輯真的就你帖子裡那些？那麽我也早懂了。不用學都懂了。