I am Johannes, a mathematical philosopher, who mainly works at the intersection of logic, epistemology, and metaphysics. I also love (the philosophy of) mathematics.