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

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