I teach mathematics at BME (Budapest) and study mathematical logic.