The Epistemology Of Meta-Theoretic Properties Of Mathematical Theories : Consistency, Soundness, Categoricity