AnalyzerSentence analysis6SpansSentence公理系の無矛盾性を証明する。1000 character limitAnalyzeSentence公こう理り系けいの無む矛む盾じゅん性せいを証しょう明めいする。Span Details公こう理り系けいaxiomatic systemnounのpossession, attribution, nominalizer, or nominal linkergrammar無む矛む盾じゅん性せいconsistency (of an axiomatic system)nounをobject markergrammar証しょう明めいproof; verification; certificationnoun, suru verbする。light/support verb with a noun or noun-like phrasegrammar
