TAO_1_Embedding

TAO_2_Semantics

TAO_3_Quantifiable

TAO_4_BasicDefinitions

TAO_5_MetaSolver

TAO_6_Identifiable

TAO_7_Axioms

TAO_8_Definitions

TAO_9_PLM

TAO_10_PossibleWorlds

TAO_98_ArtificialTheorems

TAO_99_SanityTests

TAO_99_Paradox

Thesis