Хәҙерге математика күҙлегенән, ысын һандар күмәклеге — өҙлөкһөҙ тәртипкә килтерелгән ялан. Был билдәләмә, йәки эквивалент аксиомалар системаһы, ысын һандар яланы төшөнсәһен, бер генә, изоморфизмға тиклем аныҡлыҡ менән, өҙлөкһөҙ тәртипкә килтерелгән ялан бар тигән мәғәнәлә, теүәл билдәләй.