Ergänzung. Um mal von wahr und falsch abzulenken: Es kann je nach verwendeter Logik auch sein, dass die Frage ? für , und schlichtweg illegal/nicht formulierbar ist. Als Einstieg z.B. rumbrowsen ab hier: en:Intuitionistic_type_theory#Equality_type. -- Daniel5Ko 00:41, 19. Mär. 2011 (CET)