Kwantyfikatory Paweł: Zapisać za pomocą kwantyfikatorów: a) nie istnieje największa liczba rzeczywista, b) dowolna funkcja liniowa o współczynnikach rzeczywistych, o ile nie jest stała, posiada miejsce zerowe

Saizou : Nota bene zdanie b) nie jest prawdziwe weźmy funkcję stałą f(x)=0, ma ona nieskończenie wiele miejsc zerowych

Paweł: o ile nie jest stała, jest zapisane w poleceniu, czyli a≠0

ICSP: ∀_{x ∊ R}∃_{x* ∊ R} x* > x ∀_a∊R\{0}∀_{b ∊ R} ∃_{x ∊ R} ax = b