…if F is finitist mathematics then there is no way to prove the consistency of F using F.
— Richard Tieszen, Simply Gödel
PREVIOUS07/31/2021
NEXT08/02/2021
…if F is finitist mathematics then there is no way to prove the consistency of F using F.
— Richard Tieszen, Simply Gödel