System T

Please expand.

References

Gödel, Kurt. 1958. ‘Über Eine Bisher Noch Nicht Benützte Erweiterung Des Finiten Standpunktes’. Dialectica 12 (3–4): 280–87. https://doi.org/10.1111/j.1746-8361.1958.tb01464.x.

@article{godel_1958,
	title = {\"{U}ber eine bisher noch nicht ben\"{u}tzte {Erweiterung} des finiten {Standpunktes}},
	volume = {12},
	doi = {10.1111/j.1746-8361.1958.tb01464.x},
	number = {3-4},
	journal = {Dialectica},
	author = {G\"{o}del, Kurt},
	year = {1958},
	pages = {280--287},
}