Suchergebnisse

  1. C

    Alternative Logik: Metastufenlogik konsequent möglich?

    hallo trestone, ich finde deinen ansatz höchst interessant. russell und whitehead haben einen ganz ähnlichen ansatz gemacht, nur integrierst du deinen formalismus in eine sehr schöne logik. da liegt aber vermutlich auch der haken: durch den massiven einsatz der aktual unendlichen natürlichen...
Oben