Page "Axiom" Paragraph 9
from
Wikipedia
We have a language where is a constant symbol and is a unary function and the following axioms:
Page 1 of 1.
2.121 seconds.
We have a language where is a constant symbol and is a unary function and the following axioms:
2.121 seconds.