定理は全てトートロジーですか?
それとも論理的でない定理もあるのですか?