s/n6648046

Information
has gloss	(noun) proof by a process of argument or a series of proposition proving an asserted conclusion demonstration, monstrance
lexicalization	eng: demonstration
lexicalization	eng: monstrance
subclass of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof