命題論理
公理集合は空集合を採用する。