Propositions and Judgements in Martin-Löf

Abstract

It is considered Martin-Löf’s distinction between propositions and judgements. It is argued that propositions can be regarded as the only fundamental entities of logic, since all mathematical activity may be analysed in terms of the creation and demonstration of propositions.