Matematika përbën një fushë të njohurive abstrakte të ndërtuara me ndihmën e arsyetimeve logjike mbi koncepte të tilla si numrat, figurat, strukturat dhe transformimet.
Matematika dallohet nga shkencat tjera për një lidhje të veçantë që ka ajo me realitetin. Ajo është e një natyre të pastër intelektuale, e bazuar tek një seri aksiomash të deklaruara të vërteta (do të thotë që aksiomat nuk i janë nënshtruar asnjë eksperience, por janë të frymëzuara nga eksperienca) ose mbi disa postulate përkohësisht të pranuara. Një pohim matematikor – i quajtur përgjithësisht teoremë ose propozicion konsiderohet i vërtetë nëse procesi i vërtetimit formal që përcakton vlefshmërinë e saj respekton një strukturë arsyetuese logjike-deduktive.
Sidoqoftë, ne sot kemi paraqitur një problem logjik matematikor, të cilin duhet ta zgjidhni.
