Předmět se zabývám logickou výstavbou matematiky, používá množinovou terminologii a klade důraz na přesnost vyjadřování a správnou symboliku.
