A priori knowledge, Empirical knowledge, Gödel’s incompleteness theorem, Hilbert’s formalism, Kant’s apriorism, Logically formalized axiomatic system of epistemology, Two-valued al-gebraic system of formal axiology, two-valued algebraic system of formal axiology, a priori knowledge, Hilbert's formalism, empirical knowledge, logically formalized axiomatic system of epistemology, Kant's apriorism, Godel's incompleteness theorem