PAも知らなかった奴が具体的な公理系を作れるなどと言う滑稽さw
寝言は寝てから言いなさい