matemaatikafilosoofia õpetus, mille kohaselt on matemaatiline objekt olemas siis, kui see on konstrueeritud naturaalarvudest lõpliku arvu tehetega