Яблоко, но теоремы частенько базируются на аксиомах. Например, для начало, надо взять на веру, что мы вообще существуем, а не снимся кому-нибудь ))