いや明確な定義あるけど？ ・主張が公理系そのものの正しさではない。 ・要素を絞っていくと命題論理の形態に落とし込める。 ・循環論法を用いない。 この３点を満たせば「論理的...