-
1.
0bir ispat yöntemi olup, olmayan herhangibir şeyi var farzederek ve bu *tan yola çıkarak olmayan o herhangibir şeyin var olduğunu ispatlayan pisagor'un 7 postulatından biri.
Edit: başlığa; az önce aptalın tekine söyledikten sonra geldim , farkında dahi değildim.
-
2.
0bir şeyin olmadığını kabul edip çelişkiye ulaşırsanız o şey vardır. ahanda bu yönteme denir.
for example kök 2 irrasyoneldir.
ayrıca (bkz: papağan teoremi)