Teorem: Herşey aynı renktedir. İspat: Bir önceki teorem kullanılarak denebilir ki: “Her x için, eğer x bir atsa, x aynı renktedir”. Burada kullanılan “x bir atsa” ifadesi herşey için kullanılabileceğinden herşey aynı renktedir
Teorem: Herşey aynı renktedir. İspat: Bir önceki teorem kullanılarak denebilir ki: “Her x için, eğer x bir atsa, x aynı renktedir”. Burada kullanılan “x bir atsa” ifadesi herşey için kullanılabileceğinden herşey aynı renktedir