Ezzel már próbálkoztak egyszer, kb. 50 évet bírt az ötlet amíg rá nem jöttek, hogy a valóság amire vonatkoztatni kell a törvényeket jóval bonyolultabb a formális rendszereknél. (Persze nem lennék meglepődve ha időről időre előkerülne ez az ötlet, végülis Leibniz is valami hasonlóról álmodozott.)