#Math PhD student - interested mainly in #set_theory and #logic (both classical and non-classical, especially #modal_logic)#Origami folderColor, nature and flower lover