定理

公理に基づき、論証によって証明された命題