One main interest of philosophy is to become clear about the assumptions, premisses and inconsistencies of our thoughts and theories. This title discusses the role of formal derivations, the role of the concept of apriority, and the intuitions of mathematical principles and properties.