Off: egyszer én is definiáltam egy axiómarendszert, igaz nem a matematika alapjaira vonatkozott, csupán egy adott alaphalmaz feletti bináris fák leírására. Itten van.