高校で物理やってないのはさすがに無いと思う。

有限公理化したって命題全体は不可算なんじゃないの?