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