proposition public under information 1698 List Picture As a command axiom 1postulate 1theorem 13conjecturelogical-negationnon-sequiturparticular-propositionpremiseuniversal-proposition All 24 below proposition →