رياضيات, علم ما وراء الرياضيات, فلسفة, منطق

مبرهنة فريجه (Frege’s Theorem)